📏 Linear Types

Resource Management, Use-Once Semantics, Affine Types, Memory Safety

Feeds to Scour
SubscribedAll
Scoured 1221 posts in 76.8 ms
A Validated Semantics for LLVM IR
sf.snu.ac.kr·13h
💻Programming languages
Preview
Report Post
Friendly Little Wrapper Types — Sympolymathesy, by Chris Krycho
v5.chriskrycho.com·2h
📘Typescript
Preview
Report Post
Department of Computer Science and Technology – Technical reports: UCAM-CL-TR-949
cl.cam.ac.uk·2h·
Discuss: Hacker News
⚙️Mechanical Sympathy
Preview
Report Post
[Discussion] The "Noise" Bottleneck in Local 8B RAG – A comparison of cleaning strategies (Regex vs. Unstructured vs. Entropy)
reddit.com·5h·
Discuss: r/LocalLLaMA
🎖Text Quality Models
Preview
Report Post
The answer is in your heap: debugging a big memory increase in Ruby on Rails
island94.org·23h
🔬Rust Profiling
Preview
Report Post
How Data Really Travels Over the Network (JSON vs Avro vs Protobuf)
medium.com·8h·
Discuss: r/programming
💾Binary Formats
Preview
Report Post
the myth of multitasking and other things i learned today
lollar.bearblog.dev·6h
⚡Comptime Programming
Preview
Report Post
🎲 Reproducing the AWS Outage Race Condition with a Model Checker
wyounas.github.io·8h
📐TLA+
Preview
Report Post
Virtualization: Theory to Silicon
pooladkhay.com·11h·
Discuss: Hacker News
⚙️Mechanical Sympathy
Preview
Report Post
Introducing the XLab AI Security Guide
lesswrong.com·7h
🛡️AI Security
Preview
Report Post
The 3 a.m. Call That Changed The Way I Design APIs
thenewstack.io·6h
🔌API Design Theory
Preview
Report Post
What I Learned Building a Storage Engine That Outperforms RocksDB
tidesdb.com·2h·
Discuss: Hacker News, r/programming
🪨RocksDB
Preview
Report Post
Upper Palaeolithic genomes reveal deep roots of modern Eurasians
nature.com·7h
🔺GATs
Preview
Report Post
Introducing Pkl, a programming language for configuration
pkl-lang.org·5h
💻Programming languages
Preview
Report Post
The production bug that made me care about undefined behavior
gaultier.github.io·14h·
Discuss: Hacker News, r/programming
⚙Rust Compiler Internals
Preview
Report Post
Show HN: Code webapps like it is 2010 – with agents & modern tech. A starter
github.com·13h·
Discuss: Hacker News
👨‍💻Software development practices
Preview
Report Post
Christmas came with a pleasant GPU surprise
pechotierra.bearblog.dev·17h
🖥GPUs
Preview
Report Post
Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems: Kleppmann, Martin: 9781449373320: Amazon.com: Books
amazon.com·20h
🌳Data Structures
Preview
Report Post
T3X.ORG nmhbasic/index
t3x.org·10h·
Discuss: Hacker News
📟Terminals
Preview
Report Post
A Farmer Doesn’t Know Coding, But Tries to Build an Executing Engine with LLMs and a Code Interpreter
reddit.com·12h·
Discuss: r/LocalLLaMA
🪄Prompt Engineering
Preview
Report Post